Параметризация решений уравнения $x^{-1}y^{-1}xyz^{-1}v^{-1}zv=1$ в свободной группе

Q-conditional symmetry of the linear heat equation

Исследована Q-условная симметрия одномерного линейного уравнения теплопроводности. Получены определяющие уравнения для коэффициентов оператора Qусловной симметрии, изучена их лиевская симметрия, получены некоторые их точные решения. Найдены нелокальные замены, сводящие определяющие уравнения к исходному уравнению теплопроводности. Показано, как можно использовать операторы Q-условной симметрии ...

Computational Complexity of Estimation of Generalized Solution Sets for Interval Linear Systems

В работе исследуется вычислительная сложность задач распознавания и оценивания обобщенных множеств решений интервальных систем линейных алгебраических уравнений. Показано, что если матрица системы содержит “достаточно много” элементов с интервальной неопределенностью Е-типа, то задачи распознавания и оценивания множества решений такой системы уравнений являются NP-трудными. Напротив, если в инт...

Toward Opaque Typedefs for C++1Y

Although this paper is self-contained, it logically follows our discussion, begun several years ago in N1706 and continued in N1891, of a feature oft-requested for C++: an opaque typedef , sometimes termed a strong typedef . The earlier of those works was presented to WG21 on 2004-10-20 during the Redmond meeting, and the later work was presented during the Berlin meeting on 2005-04-06. Both pr...

ИТ в гидрометеорологии: от систем сбора до аналитики и принятия решений (The IT in Hydrometeorology: from Data Collection to Analytic and Decisions Support)

Proposing a C++1Y Swap Operator, v2

We propose a new swap operator on native types for incorporation into the C++1Y core language. For user-defined types, we propose that this new operator be treated as a special member function, and that, when viable, its presence provide an alternative to traditional memberwise implementation of defaulted assignment semantics.